Nuprl Definition : w-m
0,22
postcript
pdf
m(
i
;
t
) == 1of(2of(2of(2of(2of(2of(
w
))))))(
i
,
t
)
latex
clarification:
w-m(
w
;
i
;
t
) == 1of(2of(2of(2of(2of(2of(
w
))))))(
i
,
t
)
latex
Definitions
2of(
t
)
,
1of(
t
)
FDL editor aliases
w-m
origin
